首页> 外文OA文献 >Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

【2h】

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

机译：自动验证密码协议的时间-认知属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
I. Boureanu; M. Cohen; A. Lomuscio;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic verification of temporal-epistemic properties of cryptographic protocols [J] . Ioana Boureanu, Mika Cohen, Alessio Lomuscio Journal of applied non-classical logics . 2009,第4期

机译：自动验证密码协议的时间流行性
2. Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols [J] . Marco Bozzano, Giorgio Delzanno Journal of symbolic computation . 2004,第5期

机译：自动验证密码协议线性逻辑规范的保密性
3. Toward Automatic Verification of Quantum Cryptographic Protocols [J] . Yuan Feng, Mingsheng Ying LIPIcs : Leibniz International Proceedings in Informatics . 2015,第2期

机译：致力于自动验证量子密码协议
4. Automatic Verification of Cryptographic Protocols in First-Order Logic [C] . JIHONG HAN, ZHIYONG ZHOU, YADI WANG WSEAS International Conference on Automation and Information . 2007

机译：在一阶逻辑中自动验证加密协议
5. Algorithms for cryptographic protocol verification in presence of algebraic properties. [D] . Lin, Hai. 2009

机译：存在代数性质的密码协议验证算法。
6. Physical cryptographic verification of nuclear warheads [O] . R. Scott Kemp, Areg Danagoulian, Ruaridh R. Macdonald, 2016

机译：核弹头的物理密码验证
7. Automatic verification of cryptographic protocols: privacy-type properties [O] . Cheval Vincent 2012

机译：自动验证密码协议：隐私类型属性
8. Formal Verification of Cryptographic Protocols: A Survey. [R] . Meadows, C. A. 1995

机译：密码协议的形式验证：一项调查。

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

著录项

引文网络

相似文献

相关主题

期刊订阅